From b1fe884d1861f6c4bcaa726fce1266b92284f1d6 Mon Sep 17 00:00:00 2001 From: Alex Williamson Date: Mon, 7 May 2007 13:14:27 -0600 Subject: [PATCH] [IA64] Clear pending event when vcpu boots Signed-off-by: Isaku Yamahata --- xen/arch/ia64/xen/vcpu.c | 1 + 1 file changed, 1 insertion(+) diff --git a/xen/arch/ia64/xen/vcpu.c b/xen/arch/ia64/xen/vcpu.c index 95ef7a461c..43599f6354 100644 --- a/xen/arch/ia64/xen/vcpu.c +++ b/xen/arch/ia64/xen/vcpu.c @@ -176,6 +176,7 @@ void vcpu_init_regs(struct vcpu *v) /* SAL specification 3.2.4 */ VCPU(v, vpsr) = IA64_PSR_AC | IA64_PSR_IC | IA64_PSR_BN; + v->vcpu_info->evtchn_upcall_pending = 0; v->vcpu_info->evtchn_upcall_mask = -1; } -- 2.30.2